module Module

type T = interface
    abstract P: int
end

()
